TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Libro
Advanced transaction models and architectures: ---------- (c1997)
Domicilio

----------
coverllll
Libro
Handbook of software reliability engineering: Sin autor 1st ed.   (c1996)
Domicilio

----------
coverllll
Tesis
SEDAR: detección y recuperación automática de fallos transitorios en sistemas de cómputo de altas prestaciones Montezanti, Diego Miguel (2020)
----------
Sin Portada
Artículo
SMCV : a methodology for detecting transient faults in multicore clusters Montezanti, Diego Miguel (2012)
----------
coverllll
Libro
Software reliability: principles and practice Myers, Glenford J. (c1976)
Domicilio

----------
Sin Portada
Programa de estudio
Teoría de la Computación y Verificación de Programas Rosenfeld, Ricardo Fabián (2010)
----------
Sin Portada
Libro
Teoría de la computación y verificación de programas: Rosenfeld, Ricardo Fabián 1a ed.   (2010)
Domicilio

Sala

Sin Portada
Libro
Verification and validation of real-time software Sin autor (c1985)
Domicilio

----------